quickSettings: Add a getter for the deprecated label property

Since the `label` property was deprecated there have already been
reports of fatal errors for some extensions, so add a deprecated
getter with a warning to ease migration.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2663>

diff --git a/js/ui/quickSettings.js b/js/ui/quickSettings.js
index 4868cf6b304940ce8120e1b6b9837d42aff80048..d0dc2e996f601ae59f9ac6c181998267d18b5f37 100644 (file)
--- a/js/ui/quickSettings.js
+++ b/js/ui/quickSettings.js
@@ -124,6 +124,11 @@ var QuickToggle = GObject.registerClass({
             null);
     }
 
+    get label() {
+        console.warn('Trying to get label from QuickToggle. Use title instead.');
+        return this.title;
+    }
+
     set label(label) {
         console.warn('Trying to set label on QuickToggle. Use title instead.');
         this.title = label;